#include "sched.h"
#include "task.h"
#include "current.h"
#include "lib.h"
#include "switch.h"

static void __schedule() {
    struct task_struct* prev = current;
    struct task_struct* next = container_of(list_next(&current->list_entry), struct task_struct, list_entry);
    struct task_struct* last;

    last = cpu_switch_to(prev, next);
}

void schedule() {
    __schedule();
}

